- верификация программ
-
верификация программ
1. Любой метод, который убеждает в том, что программа будет выполнять именно то, что от нее ожидается.
2. Доказательство того, что поведение программы соответствует спецификации на эту программу (ДСТУ 2873).
[Домарев В.В. Безопасность информационных технологий. Системный подход.]Тематики
- защита информации
EN
- program verification
Справочник технического переводчика. – Интент. 2009-2013.
верификация — 02.02.03 верификация (символ) [verification]: Техническая процедура проверки, посредством которой производят измерения символа для определения его соответствия требованиям спецификации к этому символу. Источник … Словарь-справочник терминов нормативно-технической документации
Верификация — Позитивизм … Википедия
Верификация программы — 54. Верификация программы Верификация Program verification Доказательство того, что поведение программы соответствует спецификации на эту программу Источник: ГОСТ 19781 90: Обеспечение систем обработки информации программное. Термины и… … Словарь-справочник терминов нормативно-технической документации
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
МИ 2174-91: Рекомендация. Государственная система обеспечения единства измерений. Аттестация алгоритмов и программ обработки данных при измерениях. Основные положения — Терминология МИ 2174 91: Рекомендация. Государственная система обеспечения единства измерений. Аттестация алгоритмов и программ обработки данных при измерениях. Основные положения: 1 Алгоритм однозначное описание последовательности операций над… … Словарь-справочник терминов нормативно-технической документации
частная верификация — Доказательство правильности программ, учитывающее основные, но не все возможные факторы. [Домарев В.В. Безопасность информационных технологий. Системный подход.] Тематики защита информации EN partial verification … Справочник технического переводчика
Объектно-ориентированное программирование — Эта статья во многом или полностью опирается на неавторитетные источники. Информация из таких источников не соответствует требованию проверяемости представленной информации, и такие ссылки не показывают значимость темы статьи. Статью можно… … Википедия
ООАП — Объектно ориентированное программирование (ООП) парадигма программирования, в которой основными концепциями являются понятия объектов и классов (либо, в менее известном варианте языков с прототипированием прототипов). Класс это тип, описывающий… … Википедия
Объектно-ориентированный подход — Объектно ориентированное программирование (ООП) парадигма программирования, в которой основными концепциями являются понятия объектов и классов (либо, в менее известном варианте языков с прототипированием прототипов). Класс это тип, описывающий… … Википедия
Премия Тьюринга — (англ. Turing Award) самая престижная премия в информатике, вручаемая Ассоциацией вычислительной техники за выдающийся научно технический вклад в этой области. Содержание 1 Статус и порядок присуждения … Википедия